The Space Agent

Multi-Agent Subset Space Logic

Subset space logics have been introduced and studied as a framework for reasoning about a notion of effort in epistemic logic. The seminal Subset Space Logic (SSL) by Moss and Parikh modeled a single agent, and most work in this area has focused on different extensions of the language, or different model classes resulting from restrictions on subset spaces, while still keeping the single-agent ...

Space Syntax Based Agent Simulation

Space syntax derives from a set of analytic measures of configuration that have been shown to correlate well with how people move through and use buildings and urban environments. Space syntax represents the open space of an environment in terms of the intervisibility of points in space. The measures are thus purely configurational, and take no account of attractors, nor do they make any assump...

Parameter Space Exploration of Agent-Based Models

When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Indeed, agent-based models are generally characterized by lots of parameters, which together determine the global dynamics of the system. Moreover, small changes made to a single parameter sometimes lead to a radical modif...

Multi-agent Technology for Air Space Deconfliction

Definition and Space of Agent Exceptions

The usual understanding of exceptions in Software Engineering pertains to the many handling systems in high-level languages such as Java or LISP. On execution of a program, an invoker calls an operation that returns an exception signal on occurrence of abnormal conditions for this run [2]. The program flow is reversed along the procedure call in search for an exception handler (the code block f...